derivative of cotangent